Propositional Information Systems

Resolution is an often used method for deducation in propositional logic Here a proper organisation of deduction is proposed which avoids redundant computations It is based on a generic framework of decompositions and local computations as intro duced by Shafer Shenoy The system contains the two basic operations with informations namely marginalization or projection and combination the latter be ing an idempotent operation in the present case The theory permits the conception of an architecture of distributed computing As an important application assumption based reasoning is discussed